<!DOCTYPE HTML>
<html><head><meta charset="utf-8"><title>TreeOneLine</title><link rel="stylesheet" href="Agda.css"></head><body><pre class="Agda"><a id="1" class="Background">\p{Hello, this is} </a><a id="20" class="Markup">\agda{postulate Truth : Set}</a>
</pre></body></html>